join semi-lattice

并半格